|
| birth_place = California | death_date = | death_place = | Spouse = Nathan Liskov (1970–) | Children = Moses Liskov | nationality = American | field = Computer science | work_institution = Massachusetts Institute of Technology | alma_mater = | thesis_title = A Program to Play Chess End Games | thesis_url = http://www.dtic.mil/cgi-bin/GetTRDoc?Location=U2&doc=GetTRDoc.pdf&AD=AD0673971 | thesis_year = 1968 | doctoral_advisor = John McCarthy | doctoral_students = Atul Adya, Sameer Ajmani, Russel Atkinson, Valdis Berzins, Toby Bloom, Winnie Cheng, Sheng-Yang Chiu, James Cowling, Mark Day, Sanjay Ghemawat, Robert Gruber, Maurice Herlihy, Deborah Hwang, Deepak Kapur, Rivka Ladin, Mark Laventhal, Ben Leong, Umesh Maheshwari, J. Eliot Moss, Andrew Myers, Brian Oki, Miguel Oom Temudo de Castro, Dan Ports, Rodrigo Rodrigues, Justin Schaffert, David Andrew Schultz, Alan Snyder, Benjamin Vandiver, William Weihl | known_for = | prizes = }} Barbara Liskov (born November 7, 1939 as Barbara Jane Huberman) is an American computer scientist〔(Barbara Liskov - A.M. Turing Award Winner )〕 who is an institute professor at the Massachusetts Institute of Technology and Ford Professor of Engineering in its School of Engineering's electrical engineering and computer science department.〔(Barbara Liskov ), Programming Methodology Group, MIT.〕 == Life and career == Liskov was born in 1939 California, the eldest of Jane (née Dickhoff) and Moses Huberman's four children. She earned her BA in mathematics at the University of California, Berkeley in 1961. In 1968 she became one of the first women in the United States to be awarded a Ph.D. from a computer science department when she was awarded her degree from Stanford University.〔(【引用サイトリンク】title=Barbara Liskov -- Engineergirl ) Profile from the National Academies of Engineering.〕〔(【引用サイトリンク】title=UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970 ) PhDs granted at UW-Madison Computer Sciences Department.〕 The topic of her Ph.D. thesis was a computer program to play chess endgames. In 1970, she married Nathan Liskov, and their son, Moses Liskov, was born in 1975. Liskov has led many significant projects, including the Venus operating system, a small, low-cost and interactive timesharing system; the design and implementation of CLU; Argus, the first high-level language to support implementation of distributed programs and to demonstrate the technique of promise pipelining; and Thor, an object-oriented database system. With Jeannette Wing, she developed a particular definition of subtyping, commonly known as the Liskov substitution principle. She leads the Programming Methodology Group at MIT, with a current research focus in Byzantine fault tolerance and distributed computing. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Barbara Liskov」の詳細全文を読む スポンサード リンク
|